partial state exploration

部分状态探索